Merge branch 'dist-css' into 'master'
authorMatthias Clasen <mclasen@redhat.com>
Tue, 12 Jan 2021 14:04:51 +0000 (14:04 +0000)
committerMatthias Clasen <mclasen@redhat.com>
Tue, 12 Jan 2021 14:04:51 +0000 (14:04 +0000)
dist: Add a dist script to generate css

See merge request GNOME/gtk!3074


Trivial merge